Mathematical programming - PDFSEARCH.IO - Document Search Engine

Mathematical programming
Results: 4310

#	Item
21	The Ellipsoid Method: A Survey Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2014-11-28 11:05:21 Mathematics Mathematical optimization Operations research Computational complexity theory Linear programming Convex optimization Complexity classes Combinatorial optimization Ellipsoid method Leonid Khachiyan Simplex algorithm Ellipsoid
22	Copyright ©2005 by the Society for Industrial and Applied Mathematics This electronic version is for personal use and may not be duplicated or distributed. Chapter 6 Operators and Flow Control 6.1. Relational and Logica Add to Reading List Source URL: www.siam.org Language: English - Date: 2006-10-27 15:07:47 Software Computing Numerical linear algebra Array programming languages Cross-platform software Mathematical software Numerical software Array programming MATLAB Matrix For loop Relational operator
23	Microsoft Word - orbs7080.doc Add to Reading List Source URL: www.math.hkbu.edu.hk Language: English - Date: 2013-09-27 05:04:20 Economy Business Operations research Mathematical optimization Engineering Queueing theory Inventory theory Inventory Dynamic programming
24	Curriculum and Course Syllabi for a High-School Program in Computer Science1 Judith Gal-Ezer2 David Harel3 Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:19:29 Computer programming Software engineering Computing Theoretical computer science Programming idioms Algorithms Computability theory Mathematical logic Recursion Programming paradigm Subroutine Iteration
25	Dynamic Walking on Stepping Stones with Gait Library and Control Barrier Functions Quan Nguyen1 , Xingye Da2 , J. W. Grizzle3 , Koushil Sreenath1 1 Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2016-07-22 11:14:47 Mathematical optimization Terrestrial locomotion Academia Walking Systems science Systems theory Operations research Dance science Gait Quadratic programming Optimal control Control theory
26	PML : A new proof assistant and deduction system Christophe Raffalli LAMA Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2007-07-02 08:10:34 Type theory Theoretical computer science Mathematical logic Programming language theory Lambda calculus Formal methods Logic in computer science CurryHoward correspondence HindleyMilner type system Simply typed lambda calculus Type system Proof assistant
27	Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K. Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Software engineering Logic Mathematical logic Logic programming Logic in computer science Automated theorem proving Predicate logic Prolog Horn clause Resolution Partial evaluation Mereology
28	IMPLICATIONS OF COST EQUITY CONSIDERATION IN HAZMAT NETWORK DESIGN Longsheng Sun ∗ University at Buffalo, The State University of New York 339A Bell Hall Add to Reading List Source URL: www.chkwon.net Language: English - Date: 2016-08-04 11:55:32 Mathematical optimization Operations research Convex optimization Applied mathematics Economy Academia Risk KarushKuhnTucker conditions Linear programming Duality
29	Energy minimization via moment hierarchies David de Laat (TU Delft) ESI Workshop on Optimal Point Configurations and Applications 16 October 2014 Add to Reading List Source URL: www.daviddelaat.nl Language: English Operations research Convex optimization Mathematical optimization Linear programming Mathematics Applied mathematics Computer science

UPDATE